PLCTOOLS: Graph Transformation Meets PLC Design
نویسندگان
چکیده
منابع مشابه
PLCTools: Graph Transformation Meets PLC Design
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and translated into functionally equivalent HLTPNs (High-Level Timed Petri Nets), through MetaEnv, for analysis and simulation and obtained results are presented in terms of suitable animations of FBD blocks. The peculiarit...
متن کاملGraph Modelling and Transformation: Theory meets Practice
In this paper, we focus on the role of graphs and graph transformation for four practical application areas from software system development. We present the typical problems in these areas and investigate how the respective systems are modelled by graphs and graph transformation. In particular, we are interested in the usefulness of theoretical graph transformation results and graph transformat...
متن کاملGraph Transformation Meets Reversible Circuits: Model Transformation and Optimization
Reversible circuits provide the subject of a new promising direction of circuit design. Reversible circuits are cascades of reversible gates specifying bijective functions on Boolean vectors. As one encounters quite a variety of reversible gates in the literature, there are many classes of reversible circuits. Two main problems are considered: (1) How can circuits of one class be transformed in...
متن کاملGraph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis
Reversible circuits are intensively studied for some years as a promising alternative to conventional circuits. Mainly for illustrative purposes and in a rather informal way, they are often visually represented. This inspired us to a graph-transformational approach to reversible circuits. The first steps are documented in this paper with emphasis on generation, evaluation, and synthesis.
متن کاملPattern-based design evolution using graph transformation
In recent years, design patterns gain more interest in software engineering communities for both software development and maintenance. As a template to solve a certain recurring problem, a design pattern documents successful experiences of software experts and gradually becomes the design guidelines of software development. Applying design patterns correctly can improve the efficiency of softwa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80532-8